encrypt(tab;keyv) == let K,p,f = tab in <K,(p+1),if p<K f[p:=<1of(f(p)),keyv>] else f fi> 

latex

---

clarification:

encrypt(tab;keyv)
== let K,p,f = tab in <K,(p+1),if p<K update(i,j. i=j;f;p;<1of(f(p)),keyv>) else f fi> 

latex

Definitions	let x,y,z = a in t(x;y;z), n+m, #$n, if b t else f fi, i<j, f[x:=v], x.A(x), i=j, <a,b>, 1of(t), f(a)
FDL editor aliases	st-encrypt